Stylistic fix for previous change
authorGlenn Morris <rgm@gnu.org>
Thu, 9 Feb 2012 07:33:11 +0000 (23:33 -0800)
committerGlenn Morris <rgm@gnu.org>
Thu, 9 Feb 2012 07:33:11 +0000 (23:33 -0800)
commitf808f832d7367677046352980d7f62dfe02be0e1
treec8102a1420f17e8dd4a2dbf1094e83bcd6a9e360
parent8ae0e6e3b2193e6db4424165a859ce549bc5e420
Stylistic fix for previous change
doc/misc/info.texi